k1 := {error("k1")}

k2 := (k1 map identity).value

k3 := {


  val x = "hi"
  ()
}

k4 := { }; k5 := ()